Games, Equations and Dot-Depth Two Monoids
نویسنده
چکیده
Given any finite alphabet A and positive integers m1, ..., mk, congruences on A*, denoted by ~(m1, ..., mk) and related to a version of the Ehrenfeucht-Fraisse game, are defined. Level k of the Straubing hierarchy of aperiodic monoids can be characterized in terms of the monoids A*/~(m1, ... mk). A natural subhierarchy of level 2 and equation systems satisfied in the corresponding varieties of monoids are defined. For A ≥ 2, a necessary and sufficient condition is given for A*/~(m1, ... , mk) to be of dot-depth exactly 2. Upper and lower bounds on the dot-depth of the A*/~(m1, ... mk) are discussed. Article:
منابع مشابه
Some results on the dot-depth hierarchy
In this paper we pursue the study of the decidability of the dot-depth hierarchy. We give an effective lower bound for the dot-depth of an aperiodic monoid. The main tool for this is the study of a certain operation on varieties of finite monoids in terms of Mal’cev product. We also prove the equality of two decidable varieties which were known to contain all dot-depth two monoids. Finally, we ...
متن کاملOn a complete set of generators for dot-depth two
A complete set of generators for Straubing’s dot-depth-two monoids has been characterized as a set of quotients of the form A*/ wCn, , ,,, where n and M denote positive integers, A* denotes the free monoid generated by a finite alphabet A, and mCn,,,) denote congruences related to a version of the Ehrenfeucht-Frays& game. This paper studies combinatorial properties of the N~,,~)‘s and in partic...
متن کاملOn a Product of Finite Monoids By: F. Blanchet-Sadri and F. Dale Gaddis
In this paper, for each positive integer m, we associate with a finite monoid S0 and m finite commutative monoids S1,..., Sm, a product ◊m(Sm,..., S1, S0) . We give a representation of the free objects in the pseudovariety ◊m(Wm,..., W1, W0) generated by these (m + 1)-ary products where Si ∈ Wi for all 0 ≤ i ≤ m. We then give, in particular, a criterion to determine when an identity holds in ◊m...
متن کاملInclusion Relations Between Some Congruences Related to the Dot-depth Hierarchy
A complete class of generators for Straubing’s dot-depth k monoids has been characterized as a class of quotients of the form ,4*/-ti where A* denotes the free monoid over a finite alphabet A, % denotes a k-tuple of positive integers, and ~,a denotes a congruence related to an Ehrenfeucht-Frakse game. In this paper, we first reduce the complete class of generators for dot-depth k to a complete ...
متن کاملTwo-Variable Ehrenfeucht-Fraisse Games over Omega-Terms
Fragments of first-order logic over words can often be characterized in terms of finite monoids, and identities of omega-terms are an effective mechanism for specifying classes of monoids. Huschenbett and the first author have shown how to use infinite Ehrenfeucht-Fra¨ıssé games on linear orders for showing that some given fragment satisfies an identity of omega-terms (STACS 2014). After revisi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Discrete Applied Mathematics
دوره 39 شماره
صفحات -
تاریخ انتشار 1992